function get_date(){
    var date = new Date();
    var year = "";
    var month = "";
    var day = "";
    var week = "";
    var hour = "";
    var minute = "";
    var second = "";
    var val = "&nbsp;&nbsp;&nbsp;&nbsp;";
    year = date.getFullYear();
    month = add_zero(date.getMonth() + 1);
    day = add_zero(date.getDate());
    week = date.getDate();
    switch (week) {
        case 0:
            val = "星期天";
            break
        case 1:
            val = "星期一";
            break
        case 2:
            val = "星期二";
            break
        case 3:
            val = "星期三";
            break
        case 4:
            val = "星期四";
            break
        case 5:
            val = "星期五";
            break
        case 6:
            val = "星期六";
            break
    }
    hour = add_zero(date.getHours());
    minute = add_zero(date.getMinutes());
    second = add_zero(date.getSeconds());
    Ext.get('timeSpan').update(year + "-" + month + "-" + day + " " + hour + ":" + minute + ":" + second + val);
}

function add_zero(temp){
    if (temp < 10) {
        return "0" + temp;
    }
    else {
        return temp;
    }
}

setInterval("get_date()", 250);
